(castLib %d)